Concept Map
Hier ist eine strukturierte Gliederung der Schlüsselkonzepte aus dem Video, auf Deutsch und mit Zeitstempeln:
Einführung in die Theoretische Philosophie: Logik
1. Definition und Hauptthemen der Logik
Die Logik beschäftigt sich mit zwei Hauptthemen:
- **Logische Folgerung** [00:00:48](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=48.6)
- **Logische Wahrheit** [00:00:51](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=51.0)
# 1.1 Logische Folgerung
- **Definition:** Ein zwingender Übergang von Prämissen zu einer Konklusion. [00:01:34](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=94.2)
- **Beispiel:**
- Alle Menschen sind sterblich. [00:01:07](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=67.9)
- Sokrates ist ein Mensch. [00:01:10](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=70.4)
- Also: Sokrates ist sterblich. [00:01:13](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=73.0)
- **Terminologie:**
- **Prämissen:** Die Sätze oberhalb des "also" (Voraussetzungen). [00:01:23](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=83.7)
- **Konklusion:** Der Satz unterhalb des "also" (Schlusssatz). [00:01:26](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=86.8)
- **Korrekter logischer Schluss:** Das gesamte Gebilde aus Prämissen und Konklusion mit der zwingenden Folgerungsbeziehung. [00:02:55](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=175.2)
- **Charakteristikum:** Der "Wahrheitstransfer" – wenn die Prämissen wahr sind, muss auch die Konklusion wahr sein. [00:02:04](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=124.5)
- **Aufgabe der Logik:** Untersuchung und Verständnis der Korrektheit solcher Schlüsse. [00:03:11](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=191.4)
# 1.2 Logische Wahrheit
- **Definition:** Sätze, die eine "eigenartige Leerheit" besitzen, aber unbezweifelbar wahr sind. [00:04:43](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=283.0)
- **Beispiel:** "Wenn der Hahn kräht auf dem Mist, dann ändert sich das Wetter oder es bleibt wie es ist." [00:03:46](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=226.3)
- **Zusammenhang:** Enger Zusammenhang mit logischer Folgerung, der die logische Wahrheit interessant macht. [00:04:26](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=266.5)
- **Aufgabe der Logik:** Untersuchung, wie logische Wahrheiten zustande kommen. [00:04:55](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=295.6)
2. Terminologie und historische Entwicklung der Logik
Der Begriff "Logik" wurde historisch unterschiedlich verwendet und das heutige Verständnis hat sich entwickelt.
# 2.1 Historische Verwendungen des Begriffs "Logik"
- **Hegel:** "Wissenschaft der Logik" meint eher Metaphysik. [00:05:37](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=337.3)
- **20. Jahrhundert:** "Logik der Sozialwissenschaften" meint Methodologie oder Vorgehensweisen. [00:05:59](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=359.2)
- **Historische Alternative:** Das heutige Gebiet der Logik wurde früher auch als **Dialektik** bezeichnet. [00:06:23](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=383.4)
# 2.2 Einführung des Begriffs "Formale Logik"
- **Immanuel Kant** (1724-1804) führte den Ausdruck "formale Logik" ein. [00:06:59](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=419.3)
- **Kontext:** Unterscheidung zur von ihm eingeführten "Transzendentalen Logik". [00:08:52](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=532.2)
- **Bedeutung der Jahreszahlen:** Wichtig für die zeitliche Einordnung von Autoren und Werken. [00:07:42](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=462.8)
# 2.3 Zwei Hauptphasen der Logikgeschichte
Die Geschichte der Logik lässt sich grob in zwei Phasen unterteilen:
# 2.3.1 Erste Phase: Klassische Logik / Syllogistik
- **Beginn:** **Aristoteles** (4. Jahrhundert v. Chr., 384-322 v. Chr.). [00:09:36](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=576.1)
- **Werk:** "Erste Analytik" (Teil des "Organon"). [00:10:10](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=610.3)
- **Dominanz:** War die dominante Form der Logik bis Ende des 19. Jahrhunderts. [00:10:34](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=634.0)
- **Bezeichnung:** Auch **Syllogistik** genannt (von griech. "syllogismos" = Schluss, also "Schlusslehre"). [00:10:55](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=655.8)
- **Fokus:** Untersuchung logischer Schlüsse, beschränkt auf vier Typen von Aussagen: [00:14:41](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=881.5)
- Allgemein bejahend (Alle S sind P) [00:15:17](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=917.4)
- Allgemein verneinend (Kein S ist P) [00:15:23](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=923.2)
- Partikulär bejahend (Einige S sind P) [00:15:33](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=933.3)
- Partikulär verneinend (Einige S sind nicht P) [00:15:44](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=944.5)
- **Begriffe:**
- **Subjektbegriff (S)** [00:16:14](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=974.5)
- **Prädikatbegriff (P)** [00:16:17](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=977.0)
- *Nicht zu verwechseln mit grammatischem Subjekt/Prädikat.* [00:16:46](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1006.2)
- **Beispiel eines syllogistischen Schlusses:**
- Alle Griechen sind Menschen. [00:17:02](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1022.5)
- Alle Menschen sind sterblich. [00:17:06](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1026.0)
- Also: Alle Griechen sind sterblich. [00:17:08](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1028.9)
- **Methode:** Systematische Untersuchung aller Kombinationen dieser Satztypen in Schluss-Schemata. [00:17:24](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1044.5)
# 2.3.2 Zweite Phase: Moderne Logik / Mathematische Logik / Logistik
- **Beginn:** **Gottlob Frege** (1848-1925), deutscher Logiker. [00:11:13](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=673.5)
- **Werk:** "Begriffsschrift" (1879). [00:11:26](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=686.2)
- **Ausgangspunkt:** Formalisierung der Schlussweisen der Mathematik im 19. Jahrhundert aufgrund von Grundlagenkrisen in der Mathematik. [00:18:14](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1094.8)
- **Drei Hauptunterschiede zur klassischen Logik:**
1. Umfang: Moderne Logik geht weit über die Syllogistik hinaus und erfasst mehr gültige Schlüsse. 00:21:31
- *Beispiel:* "Alle Pferde sind Tiere. Also: Alle Köpfe von Pferden sind Köpfe von Tieren." (Nicht durch Syllogistik erfassbar). [00:22:16](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1336.4)
2. Existenzpräsupposition:
- **Klassische Logik/Alltagssprache:** Setzt stillschweigend die Existenz von Gegenständen des Subjektbegriffs voraus (z.B. "Alle Hörer sind krank" impliziert, dass es Hörer gibt). [00:23:31](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1411.8)
- **Moderne Logik/Mathematik:** Macht diese Existenzpräsupposition nicht; die Klasse des Subjektbegriffs kann leer sein. [00:26:28](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1588.6)
- **Konsequenz:** Führt zu Unterschieden bei der Gültigkeit bestimmter Schlüsse (z.B. "Alle S sind P" impliziert in klassischer Logik "Einige S sind P", in moderner Logik nicht). [00:27:38](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1658.8)
3. Integration mit Mathematik: Der formale Teil der modernen Logik ist selbst ein Teil der Mathematik. 00:29:35
- **Klassische Logik:** War von der Mathematik unabhängig. [00:30:22](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1822.9)
- **Kontroverse über den Lehrwert der klassischen Logik:** Trotz der Fortschritte der modernen Logik ist das Wissen um die klassische Logik für das Verständnis älterer philosophischer Texte unerlässlich. [00:31:00](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=1860.1)
3. Der zentrale Begriff der logischen Form
Der Begriff der logischen Form ist entscheidend für das Verständnis, warum Logik "formal" ist und wie sie mit Mathematik zusammenhängt.
# 3.1 Definition und Funktion
- **Zentral für Gültigkeit:** Die logische Form der beteiligten Aussagen ist ausschlaggebend für die Gültigkeit logischer Schlüsse. [00:33:51](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2031.9)
- **Abstraktion:** Die Logik konzentriert sich auf die Aspekte von Sätzen, die für die Gültigkeit eines Schlusses verantwortlich sind, und abstrahiert von allen anderen Inhalten. [00:34:44](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2084.9)
# 3.2 Veranschaulichung am Beispiel
- **Beispielschluss:**
- Alle Griechen sind Menschen. [00:35:15](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2115.3)
- Alle Menschen sind sterblich. [00:35:17](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2117.1)
- Also: Alle Griechen sind sterblich. [00:35:18](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2118.8)
- **Logische Form:**
- Alle A sind B. [00:35:51](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2151.6)
- Alle B sind C. [00:35:52](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2152.6)
- Also: Alle A sind C. [00:35:54](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2154.6)
- **Platzhalter:** A, B, C sind Platzhalter für Begriffe (z.B. Griechen, Menschen, sterblich). [00:37:41](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2261.3)
- **Analogie zur Algebra:** Wie Buchstaben in der Algebra Platzhalter für Zahlen sind, sind hier Buchstaben Platzhalter für Begriffe. [00:38:50](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2330.5)
- **Erklärung "formale Logik":** Die logischen Formen werden mittels **logischer Formeln** dargestellt (z.B. "Alle S sind P"). [00:39:15](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2355.2)
4. Teilgebiete der Logik und ihre charakteristischen Formen
Jedes Teilgebiet der Logik hat spezifische logische Formen und Formeln.
# 4.1 Syllogistik (klassisch)
- **Typischer Schluss:** Alle Griechen sind Menschen, alle Menschen sind sterblich, also alle Griechen sind sterblich. [00:43:38](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2618.8)
- **Logische Formel:** Alle A sind B, alle B sind C, also alle A sind C. [00:43:44](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2624.1)
# 4.2 Aussagenlogik (modern)
- **Typischer Schluss:** Hans ist Student oder Dozent. Hans ist nicht Student. Also: Hans ist Dozent. [00:44:21](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2661.7)
- **Logische Formel:** P v Q, ¬P ⊢ Q. [00:44:48](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2688.2)
- **P, Q:** Platzhalter für Aussagen (z.B. P = "Hans ist Student", Q = "Hans ist Dozent"). [00:45:09](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2709.4)
- **v:** Zeichen für "oder". [00:45:32](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2732.7)
- **¬:** Zeichen für "nicht". [00:45:35](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2735.1)
- **⊢:** Zeichen für "daraus folgt".
- *Weitere Zeichen:* ∧ für "und", → für "wenn-dann". [00:46:50](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2810.8)
- **Charakteristikum:** Die Verwendung von Platzhaltern für ganze Aussagen und speziellen Symbolen für logische Operatoren. [00:46:07](https://youtubetotranscript.com/transcript?v=Z73xpBGGYtw&t=2767.5)